Méthodologie de conception de systèmes temps réel et distribués en contexte UML/SysML

The Unified Modeling Language (UML) standardized by the Object Management group (OMG) offers thirteen diagrams, but no facility to handle the requirement management phase which usually starts the development cycle of real-time systems. The SysML standard, including the concept of requirement diagram, has opened new avenues. Nevertheless both UML and SysML lack methodological support. This dissertation aims therefore to develop a methodology for real-time UML profiles as soon as the latter cover the upper phases (requirement capture – analysis – design) in the development cycle of real-time and distributed systems, and gives prime importance to formal verification of temporal requirements. The proposed methodology is instantiated on the TURTLE (Timed UML and RT-LOTOS Environment) profile. SysML requirement diagrams are extended with a chronogram-based visual language (TRDD = Timing Requirement Description Diagram). They are used to described non functional and temporal requirements. The latter are the starting point for automatic generation of observers whose role is to verify the requirements in question. The contributions presented throughout the dissertation are formalized and defined by meta-models. The results are not restricted to TURTLE. The proposed approach has been applied to secure group communication protocols (SAFECAST RNRT project).